Search
1 heading found for n 93078898
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Cousot, Patrick, 1948-...., informaticien
Cousot, Patrick, 1948- Cousot, Patrick Patrick Cousot |
Personal | Abstract intepretation of higher-order imperative languages. Analysis of probabilistic programs by abstract interpretation. Analysis of probabilistic programs by abstract interpretation. |